convert a RAR file into a ZIP file